ABS: x did not kill y

ABS: The Barber

ABS: Agatha

ABS: Charles

ABS: The Butler

ABS: x kills y

ABS: x hates y

ABS: x is richer than y

STM: Agatha Murder Puzzle (JProver)Lori2

STM: Agatha Murder Puzzle (JProver)Lori2R